One-shot timer for Resource-Based Earliest Deadline First Scheduler

In a previous research project [5], we found there are several disadvantages of the current Linux scheduler. So we employed a alternative scheduler, Resource-Based Earliest Deadline First scheduler(RB-EDF), to solve these problems. Though RB-EDF performs better than the Linux scheduler in handling soft realtime processes, it can not enforce resource usages smaller than 1 tick(10ms) using the regular timer interrupt(interval=10ms). So the worst cost of each regular timer interrupt is 1 tick! We introduced One-shot timer to reduce this overhead by providing a more accurate timer interrupt. In addition to this, one-shot timer can be used to support the hard real-time processes.